formalspecification相关论文
Research on formalization of efficient query application problems with compound condition in softwar
This paper provides a formalized definition of the application problem of compound condition query (CCQ) and a formal me......
